package nl.uva.science.pico.picolanguage.types;

abstract public class PICOID extends nl.uva.science.pico.picolanguage.AbstractType {
  public PICOID(nl.uva.science.pico.picolanguage.Factory factory, aterm.ATermList annos, aterm.AFun fun, aterm.ATerm[] args) {
     super(factory, annos, fun, args);
  }

  public boolean isEqual(PICOID peer) {
    return super.isEqual(peer);
  }

  public boolean isSortPICOID()  {
    return true;
  }

  public boolean isPICOID() {
    return false;
  }

  public boolean hasString() {
    return false;
  }

  public String getString() {
     throw new UnsupportedOperationException("This PICOID has no String");
  }

  public PICOID setString(String _string) {
     throw new IllegalArgumentException("Illegal argument: " + _string);
  }

}

